home *** CD-ROM | disk | FTP | other *** search
- # If you change this file, run 'update-grub' afterwards to update
- # /boot/grub/grub.cfg.
-
- GRUB_DEFAULT=0
- GRUB_HIDDEN_TIMEOUT=0
- GRUB_HIDDEN_TIMEOUT_QUIET=true
- GRUB_TIMEOUT="10"
- GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
- GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
- GRUB_CMDLINE_LINUX=""
-
- # Uncomment to disable graphical terminal (grub-pc only)
- #GRUB_TERMINAL=console
-
- # The resolution used on graphical terminal
- # note that you can use only modes which your graphic card supports via VBE
- # you can see them in real GRUB with the command `vbeinfo'
- #GRUB_GFXMODE=640x480
-
- # Uncomment if you don't want GRUB to pass "root=UUID=xxx" parameter to Linux
- #GRUB_DISABLE_LINUX_UUID=true
-
- # Uncomment to disable generation of recovery mode menu entrys
- #GRUB_DISABLE_LINUX_RECOVERY="true"
-